Semi-Numerical Solution of Stochastic Process Algebra Models using Semi-Markov Chains and Exponomial Distributions
نویسندگان
چکیده
منابع مشابه
Semi-numerical Solution of Stochastic Process Algebra Models
A solution method for solving Markov chains for a class of stochastic process algebra terms is presented. The solution technique is based on a reformulation of the underlying continuous-time Markov chain (CTMC) in terms of semi-Markov processes. For the reformulation only local information about the processes running in parallel is needed, and it is therefore never necessary to generate the com...
متن کاملAdvances in compositional approaches based on Kronecker algebra: Application to the study of manufacturing systems
Recent developments in the use of Kronecker algebra for the solution of continuous-time Markov chains (CTMCs), in particular models based on stochastic Petri nets, have increased the size of the systems that can be analyzed using exact numerical methods. We report on the more recent results, and employ them to study a kanban system.
متن کاملBeyond Memoryless Distributions: Model Checking Semi-Markov Chains
Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a rather efficient manner. The state holding time distributions in CTMCs are restricted to negative exponential distributions. This paper investigates model checking of semi-Markov chains (SMCs), a model in which state holding ti...
متن کاملAggregation and Numerical Techniques for Passage Time Calculations in Large semi-Markov Models
First-passage time densities and quantiles are important metrics in performance analysis. They are used in the analysis of mobile communication systems, web servers, manufacturing systems as well as for the analysis of the quality of service of hospitals and government organisations. In this report we look at computational techniques for the first-passage time analysis on highlevel models that ...
متن کاملCHAPTER 1 Quantiles of Sojourn Times
Fast response times and the satisfaction of response time quantile targets are important performance criteria for almost all transaction processing, computer-communication and other operational systems. However, response time quantiles tend to be difficult to obtain in stochastic models, even when the mean value of the response time has a relatively simple mathematical expression. Expressions h...
متن کامل